KILLED



    


Runtime Complexity (full) proof of /tmp/tmp76e_cc/PALINDROME_complete_GM.xml









The Runtime Complexity (full) of the given CpxTRS could be proven to be BOUNDS(n^1, INF).

0 CpxTRS


↳1 DecreasingLoopProof (⇔, 4998 ms)


↳2 BOUNDS(n^1, INF)


↳3 RenamingProof (⇔, 0 ms)


↳4 CpxRelTRS


    ↳5 TypeInferenceProof (BOTH BOUNDS(ID, ID), 0 ms)


    ↳6 typed CpxTrs


    ↳7 OrderProof (LOWER BOUND(ID), 0 ms)


    ↳8 typed CpxTrs









(0) Obligation:
Runtime Complexity TRS:
The TRS R consists of the following rules:

a____(__(X, Y), Z) → a____(mark(X), a____(mark(Y), mark(Z)))

a____(X, nil) → mark(X)

a____(nil, X) → mark(X)

a__U11(tt, V) → a__U12(a__isNeList(V))

a__U12(tt) → tt

a__U21(tt, V1, V2) → a__U22(a__isList(V1), V2)

a__U22(tt, V2) → a__U23(a__isList(V2))

a__U23(tt) → tt

a__U31(tt, V) → a__U32(a__isQid(V))

a__U32(tt) → tt

a__U41(tt, V1, V2) → a__U42(a__isList(V1), V2)

a__U42(tt, V2) → a__U43(a__isNeList(V2))

a__U43(tt) → tt

a__U51(tt, V1, V2) → a__U52(a__isNeList(V1), V2)

a__U52(tt, V2) → a__U53(a__isList(V2))

a__U53(tt) → tt

a__U61(tt, V) → a__U62(a__isQid(V))

a__U62(tt) → tt

a__U71(tt, V) → a__U72(a__isNePal(V))

a__U72(tt) → tt

a__and(tt, X) → mark(X)

a__isList(V) → a__U11(a__isPalListKind(V), V)

a__isList(nil) → tt

a__isList(__(V1, V2)) → a__U21(a__and(a__isPalListKind(V1), isPalListKind(V2)), V1, V2)

a__isNeList(V) → a__U31(a__isPalListKind(V), V)

a__isNeList(__(V1, V2)) → a__U41(a__and(a__isPalListKind(V1), isPalListKind(V2)), V1, V2)

a__isNeList(__(V1, V2)) → a__U51(a__and(a__isPalListKind(V1), isPalListKind(V2)), V1, V2)

a__isNePal(V) → a__U61(a__isPalListKind(V), V)

a__isNePal(__(I, __(P, I))) → a__and(a__and(a__isQid(I), isPalListKind(I)), and(isPal(P), isPalListKind(P)))

a__isPal(V) → a__U71(a__isPalListKind(V), V)

a__isPal(nil) → tt

a__isPalListKind(a) → tt

a__isPalListKind(e) → tt

a__isPalListKind(i) → tt

a__isPalListKind(nil) → tt

a__isPalListKind(o) → tt

a__isPalListKind(u) → tt

a__isPalListKind(__(V1, V2)) → a__and(a__isPalListKind(V1), isPalListKind(V2))

a__isQid(a) → tt

a__isQid(e) → tt

a__isQid(i) → tt

a__isQid(o) → tt

a__isQid(u) → tt

mark(__(X1, X2)) → a____(mark(X1), mark(X2))

mark(U11(X1, X2)) → a__U11(mark(X1), X2)

mark(U12(X)) → a__U12(mark(X))

mark(isNeList(X)) → a__isNeList(X)

mark(U21(X1, X2, X3)) → a__U21(mark(X1), X2, X3)

mark(U22(X1, X2)) → a__U22(mark(X1), X2)

mark(isList(X)) → a__isList(X)

mark(U23(X)) → a__U23(mark(X))

mark(U31(X1, X2)) → a__U31(mark(X1), X2)

mark(U32(X)) → a__U32(mark(X))

mark(isQid(X)) → a__isQid(X)

mark(U41(X1, X2, X3)) → a__U41(mark(X1), X2, X3)

mark(U42(X1, X2)) → a__U42(mark(X1), X2)

mark(U43(X)) → a__U43(mark(X))

mark(U51(X1, X2, X3)) → a__U51(mark(X1), X2, X3)

mark(U52(X1, X2)) → a__U52(mark(X1), X2)

mark(U53(X)) → a__U53(mark(X))

mark(U61(X1, X2)) → a__U61(mark(X1), X2)

mark(U62(X)) → a__U62(mark(X))

mark(U71(X1, X2)) → a__U71(mark(X1), X2)

mark(U72(X)) → a__U72(mark(X))

mark(isNePal(X)) → a__isNePal(X)

mark(and(X1, X2)) → a__and(mark(X1), X2)

mark(isPalListKind(X)) → a__isPalListKind(X)

mark(isPal(X)) → a__isPal(X)

mark(nil) → nil

mark(tt) → tt

mark(a) → a

mark(e) → e

mark(i) → i

mark(o) → o

mark(u) → u

a____(X1, X2) → __(X1, X2)

a__U11(X1, X2) → U11(X1, X2)

a__U12(X) → U12(X)

a__isNeList(X) → isNeList(X)

a__U21(X1, X2, X3) → U21(X1, X2, X3)

a__U22(X1, X2) → U22(X1, X2)

a__isList(X) → isList(X)

a__U23(X) → U23(X)

a__U31(X1, X2) → U31(X1, X2)

a__U32(X) → U32(X)

a__isQid(X) → isQid(X)

a__U41(X1, X2, X3) → U41(X1, X2, X3)

a__U42(X1, X2) → U42(X1, X2)

a__U43(X) → U43(X)

a__U51(X1, X2, X3) → U51(X1, X2, X3)

a__U52(X1, X2) → U52(X1, X2)

a__U53(X) → U53(X)

a__U61(X1, X2) → U61(X1, X2)

a__U62(X) → U62(X)

a__U71(X1, X2) → U71(X1, X2)

a__U72(X) → U72(X)

a__isNePal(X) → isNePal(X)

a__and(X1, X2) → and(X1, X2)

a__isPalListKind(X) → isPalListKind(X)

a__isPal(X) → isPal(X)

Rewrite Strategy: FULL




(1) DecreasingLoopProof (EQUIVALENT transformation)
The following loop(s) give(s) rise to the lower bound Ω(n1):
The rewrite sequence
a__and(tt, and(tt, X2517159_0)) →+ a__and(tt, X2517159_0)
gives rise to a decreasing loop by considering the right hand sides subterm at position [].
The pumping substitution is [X2517159_0 / and(tt, X2517159_0)].
The result substitution is [ ].





(2) BOUNDS(n^1, INF)




(3) RenamingProof (EQUIVALENT transformation)
Renamed function symbols to avoid clashes with predefined symbol.




(4) Obligation:
Runtime Complexity Relative TRS:
The TRS R consists of the following rules:

a____(__(X, Y), Z) → a____(mark(X), a____(mark(Y), mark(Z)))

a____(X, nil) → mark(X)

a____(nil, X) → mark(X)

a__U11(tt, V) → a__U12(a__isNeList(V))

a__U12(tt) → tt

a__U21(tt, V1, V2) → a__U22(a__isList(V1), V2)

a__U22(tt, V2) → a__U23(a__isList(V2))

a__U23(tt) → tt

a__U31(tt, V) → a__U32(a__isQid(V))

a__U32(tt) → tt

a__U41(tt, V1, V2) → a__U42(a__isList(V1), V2)

a__U42(tt, V2) → a__U43(a__isNeList(V2))

a__U43(tt) → tt

a__U51(tt, V1, V2) → a__U52(a__isNeList(V1), V2)

a__U52(tt, V2) → a__U53(a__isList(V2))

a__U53(tt) → tt

a__U61(tt, V) → a__U62(a__isQid(V))

a__U62(tt) → tt

a__U71(tt, V) → a__U72(a__isNePal(V))

a__U72(tt) → tt

a__and(tt, X) → mark(X)

a__isList(V) → a__U11(a__isPalListKind(V), V)

a__isList(nil) → tt

a__isList(__(V1, V2)) → a__U21(a__and(a__isPalListKind(V1), isPalListKind(V2)), V1, V2)

a__isNeList(V) → a__U31(a__isPalListKind(V), V)

a__isNeList(__(V1, V2)) → a__U41(a__and(a__isPalListKind(V1), isPalListKind(V2)), V1, V2)

a__isNeList(__(V1, V2)) → a__U51(a__and(a__isPalListKind(V1), isPalListKind(V2)), V1, V2)

a__isNePal(V) → a__U61(a__isPalListKind(V), V)

a__isNePal(__(I, __(P, I))) → a__and(a__and(a__isQid(I), isPalListKind(I)), and(isPal(P), isPalListKind(P)))

a__isPal(V) → a__U71(a__isPalListKind(V), V)

a__isPal(nil) → tt

a__isPalListKind(a) → tt

a__isPalListKind(e) → tt

a__isPalListKind(i) → tt

a__isPalListKind(nil) → tt

a__isPalListKind(o) → tt

a__isPalListKind(u) → tt

a__isPalListKind(__(V1, V2)) → a__and(a__isPalListKind(V1), isPalListKind(V2))

a__isQid(a) → tt

a__isQid(e) → tt

a__isQid(i) → tt

a__isQid(o) → tt

a__isQid(u) → tt

mark(__(X1, X2)) → a____(mark(X1), mark(X2))

mark(U11(X1, X2)) → a__U11(mark(X1), X2)

mark(U12(X)) → a__U12(mark(X))

mark(isNeList(X)) → a__isNeList(X)

mark(U21(X1, X2, X3)) → a__U21(mark(X1), X2, X3)

mark(U22(X1, X2)) → a__U22(mark(X1), X2)

mark(isList(X)) → a__isList(X)

mark(U23(X)) → a__U23(mark(X))

mark(U31(X1, X2)) → a__U31(mark(X1), X2)

mark(U32(X)) → a__U32(mark(X))

mark(isQid(X)) → a__isQid(X)

mark(U41(X1, X2, X3)) → a__U41(mark(X1), X2, X3)

mark(U42(X1, X2)) → a__U42(mark(X1), X2)

mark(U43(X)) → a__U43(mark(X))

mark(U51(X1, X2, X3)) → a__U51(mark(X1), X2, X3)

mark(U52(X1, X2)) → a__U52(mark(X1), X2)

mark(U53(X)) → a__U53(mark(X))

mark(U61(X1, X2)) → a__U61(mark(X1), X2)

mark(U62(X)) → a__U62(mark(X))

mark(U71(X1, X2)) → a__U71(mark(X1), X2)

mark(U72(X)) → a__U72(mark(X))

mark(isNePal(X)) → a__isNePal(X)

mark(and(X1, X2)) → a__and(mark(X1), X2)

mark(isPalListKind(X)) → a__isPalListKind(X)

mark(isPal(X)) → a__isPal(X)

mark(nil) → nil

mark(tt) → tt

mark(a) → a

mark(e) → e

mark(i) → i

mark(o) → o

mark(u) → u

a____(X1, X2) → __(X1, X2)

a__U11(X1, X2) → U11(X1, X2)

a__U12(X) → U12(X)

a__isNeList(X) → isNeList(X)

a__U21(X1, X2, X3) → U21(X1, X2, X3)

a__U22(X1, X2) → U22(X1, X2)

a__isList(X) → isList(X)

a__U23(X) → U23(X)

a__U31(X1, X2) → U31(X1, X2)

a__U32(X) → U32(X)

a__isQid(X) → isQid(X)

a__U41(X1, X2, X3) → U41(X1, X2, X3)

a__U42(X1, X2) → U42(X1, X2)

a__U43(X) → U43(X)

a__U51(X1, X2, X3) → U51(X1, X2, X3)

a__U52(X1, X2) → U52(X1, X2)

a__U53(X) → U53(X)

a__U61(X1, X2) → U61(X1, X2)

a__U62(X) → U62(X)

a__U71(X1, X2) → U71(X1, X2)

a__U72(X) → U72(X)

a__isNePal(X) → isNePal(X)

a__and(X1, X2) → and(X1, X2)

a__isPalListKind(X) → isPalListKind(X)

a__isPal(X) → isPal(X)

S is empty.
Rewrite Strategy: FULL




(5) TypeInferenceProof (BOTH BOUNDS(ID, ID) transformation)
Infered types.




(6) Obligation:
TRS:
Rules:
a____(__(X, Y), Z) → a____(mark(X), a____(mark(Y), mark(Z)))
a____(X, nil) → mark(X)
a____(nil, X) → mark(X)
a__U11(tt, V) → a__U12(a__isNeList(V))
a__U12(tt) → tt
a__U21(tt, V1, V2) → a__U22(a__isList(V1), V2)
a__U22(tt, V2) → a__U23(a__isList(V2))
a__U23(tt) → tt
a__U31(tt, V) → a__U32(a__isQid(V))
a__U32(tt) → tt
a__U41(tt, V1, V2) → a__U42(a__isList(V1), V2)
a__U42(tt, V2) → a__U43(a__isNeList(V2))
a__U43(tt) → tt
a__U51(tt, V1, V2) → a__U52(a__isNeList(V1), V2)
a__U52(tt, V2) → a__U53(a__isList(V2))
a__U53(tt) → tt
a__U61(tt, V) → a__U62(a__isQid(V))
a__U62(tt) → tt
a__U71(tt, V) → a__U72(a__isNePal(V))
a__U72(tt) → tt
a__and(tt, X) → mark(X)
a__isList(V) → a__U11(a__isPalListKind(V), V)
a__isList(nil) → tt
a__isList(__(V1, V2)) → a__U21(a__and(a__isPalListKind(V1), isPalListKind(V2)), V1, V2)
a__isNeList(V) → a__U31(a__isPalListKind(V), V)
a__isNeList(__(V1, V2)) → a__U41(a__and(a__isPalListKind(V1), isPalListKind(V2)), V1, V2)
a__isNeList(__(V1, V2)) → a__U51(a__and(a__isPalListKind(V1), isPalListKind(V2)), V1, V2)
a__isNePal(V) → a__U61(a__isPalListKind(V), V)
a__isNePal(__(I, __(P, I))) → a__and(a__and(a__isQid(I), isPalListKind(I)), and(isPal(P), isPalListKind(P)))
a__isPal(V) → a__U71(a__isPalListKind(V), V)
a__isPal(nil) → tt
a__isPalListKind(a) → tt
a__isPalListKind(e) → tt
a__isPalListKind(i) → tt
a__isPalListKind(nil) → tt
a__isPalListKind(o) → tt
a__isPalListKind(u) → tt
a__isPalListKind(__(V1, V2)) → a__and(a__isPalListKind(V1), isPalListKind(V2))
a__isQid(a) → tt
a__isQid(e) → tt
a__isQid(i) → tt
a__isQid(o) → tt
a__isQid(u) → tt
mark(__(X1, X2)) → a____(mark(X1), mark(X2))
mark(U11(X1, X2)) → a__U11(mark(X1), X2)
mark(U12(X)) → a__U12(mark(X))
mark(isNeList(X)) → a__isNeList(X)
mark(U21(X1, X2, X3)) → a__U21(mark(X1), X2, X3)
mark(U22(X1, X2)) → a__U22(mark(X1), X2)
mark(isList(X)) → a__isList(X)
mark(U23(X)) → a__U23(mark(X))
mark(U31(X1, X2)) → a__U31(mark(X1), X2)
mark(U32(X)) → a__U32(mark(X))
mark(isQid(X)) → a__isQid(X)
mark(U41(X1, X2, X3)) → a__U41(mark(X1), X2, X3)
mark(U42(X1, X2)) → a__U42(mark(X1), X2)
mark(U43(X)) → a__U43(mark(X))
mark(U51(X1, X2, X3)) → a__U51(mark(X1), X2, X3)
mark(U52(X1, X2)) → a__U52(mark(X1), X2)
mark(U53(X)) → a__U53(mark(X))
mark(U61(X1, X2)) → a__U61(mark(X1), X2)
mark(U62(X)) → a__U62(mark(X))
mark(U71(X1, X2)) → a__U71(mark(X1), X2)
mark(U72(X)) → a__U72(mark(X))
mark(isNePal(X)) → a__isNePal(X)
mark(and(X1, X2)) → a__and(mark(X1), X2)
mark(isPalListKind(X)) → a__isPalListKind(X)
mark(isPal(X)) → a__isPal(X)
mark(nil) → nil
mark(tt) → tt
mark(a) → a
mark(e) → e
mark(i) → i
mark(o) → o
mark(u) → u
a____(X1, X2) → __(X1, X2)
a__U11(X1, X2) → U11(X1, X2)
a__U12(X) → U12(X)
a__isNeList(X) → isNeList(X)
a__U21(X1, X2, X3) → U21(X1, X2, X3)
a__U22(X1, X2) → U22(X1, X2)
a__isList(X) → isList(X)
a__U23(X) → U23(X)
a__U31(X1, X2) → U31(X1, X2)
a__U32(X) → U32(X)
a__isQid(X) → isQid(X)
a__U41(X1, X2, X3) → U41(X1, X2, X3)
a__U42(X1, X2) → U42(X1, X2)
a__U43(X) → U43(X)
a__U51(X1, X2, X3) → U51(X1, X2, X3)
a__U52(X1, X2) → U52(X1, X2)
a__U53(X) → U53(X)
a__U61(X1, X2) → U61(X1, X2)
a__U62(X) → U62(X)
a__U71(X1, X2) → U71(X1, X2)
a__U72(X) → U72(X)
a__isNePal(X) → isNePal(X)
a__and(X1, X2) → and(X1, X2)
a__isPalListKind(X) → isPalListKind(X)
a__isPal(X) → isPal(X)

Types:
a____ :: __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal → __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal → __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal
__ :: __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal → __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal → __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal
mark :: __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal → __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal
nil :: __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal
a__U11 :: __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal → __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal → __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal
tt :: __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal
a__U12 :: __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal → __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal
a__isNeList :: __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal → __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal
a__U21 :: __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal → __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal → __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal → __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal
a__U22 :: __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal → __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal → __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal
a__isList :: __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal → __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal
a__U23 :: __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal → __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal
a__U31 :: __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal → __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal → __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal
a__U32 :: __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal → __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal
a__isQid :: __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal → __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal
a__U41 :: __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal → __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal → __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal → __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal
a__U42 :: __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal → __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal → __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal
a__U43 :: __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal → __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal
a__U51 :: __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal → __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal → __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal → __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal
a__U52 :: __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal → __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal → __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal
a__U53 :: __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal → __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal
a__U61 :: __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal → __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal → __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal
a__U62 :: __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal → __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal
a__U71 :: __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal → __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal → __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal
a__U72 :: __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal → __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal
a__isNePal :: __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal → __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal
a__and :: __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal → __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal → __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal
a__isPalListKind :: __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal → __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal
isPalListKind :: __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal → __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal
and :: __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal → __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal → __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal
isPal :: __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal → __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal
a__isPal :: __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal → __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal
a :: __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal
e :: __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal
i :: __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal
o :: __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal
u :: __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal
U11 :: __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal → __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal → __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal
U12 :: __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal → __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal
isNeList :: __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal → __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal
U21 :: __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal → __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal → __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal → __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal
U22 :: __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal → __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal → __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal
isList :: __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal → __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal
U23 :: __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal → __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal
U31 :: __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal → __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal → __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal
U32 :: __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal → __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal
isQid :: __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal → __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal
U41 :: __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal → __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal → __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal → __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal
U42 :: __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal → __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal → __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal
U43 :: __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal → __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal
U51 :: __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal → __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal → __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal → __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal
U52 :: __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal → __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal → __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal
U53 :: __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal → __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal
U61 :: __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal → __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal → __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal
U62 :: __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal → __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal
U71 :: __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal → __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal → __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal
U72 :: __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal → __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal
isNePal :: __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal → __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal
hole___:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal1_0 :: __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal
gen___:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal2_0 :: Nat → __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal




(7) OrderProof (LOWER BOUND(ID) transformation)
Heuristically decided to analyse the following defined symbols:
a____, mark, a__U11, a__isNeList, a__U21, a__U22, a__isList, a__U41, a__U42, a__U51, a__U52, a__U71, a__isNePal, a__and, a__isPalListKind, a__isPal
They will be analysed ascendingly in the following order:
a____ = mark
a____ = a__U11
a____ = a__isNeList
a____ = a__U21
a____ = a__U22
a____ = a__isList
a____ = a__U41
a____ = a__U42
a____ = a__U51
a____ = a__U52
a____ = a__U71
a____ = a__isNePal
a____ = a__and
a____ = a__isPalListKind
a____ = a__isPal
mark = a__U11
mark = a__isNeList
mark = a__U21
mark = a__U22
mark = a__isList
mark = a__U41
mark = a__U42
mark = a__U51
mark = a__U52
mark = a__U71
mark = a__isNePal
mark = a__and
mark = a__isPalListKind
mark = a__isPal
a__U11 = a__isNeList
a__U11 = a__U21
a__U11 = a__U22
a__U11 = a__isList
a__U11 = a__U41
a__U11 = a__U42
a__U11 = a__U51
a__U11 = a__U52
a__U11 = a__U71
a__U11 = a__isNePal
a__U11 = a__and
a__U11 = a__isPalListKind
a__U11 = a__isPal
a__isNeList = a__U21
a__isNeList = a__U22
a__isNeList = a__isList
a__isNeList = a__U41
a__isNeList = a__U42
a__isNeList = a__U51
a__isNeList = a__U52
a__isNeList = a__U71
a__isNeList = a__isNePal
a__isNeList = a__and
a__isNeList = a__isPalListKind
a__isNeList = a__isPal
a__U21 = a__U22
a__U21 = a__isList
a__U21 = a__U41
a__U21 = a__U42
a__U21 = a__U51
a__U21 = a__U52
a__U21 = a__U71
a__U21 = a__isNePal
a__U21 = a__and
a__U21 = a__isPalListKind
a__U21 = a__isPal
a__U22 = a__isList
a__U22 = a__U41
a__U22 = a__U42
a__U22 = a__U51
a__U22 = a__U52
a__U22 = a__U71
a__U22 = a__isNePal
a__U22 = a__and
a__U22 = a__isPalListKind
a__U22 = a__isPal
a__isList = a__U41
a__isList = a__U42
a__isList = a__U51
a__isList = a__U52
a__isList = a__U71
a__isList = a__isNePal
a__isList = a__and
a__isList = a__isPalListKind
a__isList = a__isPal
a__U41 = a__U42
a__U41 = a__U51
a__U41 = a__U52
a__U41 = a__U71
a__U41 = a__isNePal
a__U41 = a__and
a__U41 = a__isPalListKind
a__U41 = a__isPal
a__U42 = a__U51
a__U42 = a__U52
a__U42 = a__U71
a__U42 = a__isNePal
a__U42 = a__and
a__U42 = a__isPalListKind
a__U42 = a__isPal
a__U51 = a__U52
a__U51 = a__U71
a__U51 = a__isNePal
a__U51 = a__and
a__U51 = a__isPalListKind
a__U51 = a__isPal
a__U52 = a__U71
a__U52 = a__isNePal
a__U52 = a__and
a__U52 = a__isPalListKind
a__U52 = a__isPal
a__U71 = a__isNePal
a__U71 = a__and
a__U71 = a__isPalListKind
a__U71 = a__isPal
a__isNePal = a__and
a__isNePal = a__isPalListKind
a__isNePal = a__isPal
a__and = a__isPalListKind
a__and = a__isPal
a__isPalListKind = a__isPal




(8) Obligation:
TRS:
Rules:
a____(__(X, Y), Z) → a____(mark(X), a____(mark(Y), mark(Z)))
a____(X, nil) → mark(X)
a____(nil, X) → mark(X)
a__U11(tt, V) → a__U12(a__isNeList(V))
a__U12(tt) → tt
a__U21(tt, V1, V2) → a__U22(a__isList(V1), V2)
a__U22(tt, V2) → a__U23(a__isList(V2))
a__U23(tt) → tt
a__U31(tt, V) → a__U32(a__isQid(V))
a__U32(tt) → tt
a__U41(tt, V1, V2) → a__U42(a__isList(V1), V2)
a__U42(tt, V2) → a__U43(a__isNeList(V2))
a__U43(tt) → tt
a__U51(tt, V1, V2) → a__U52(a__isNeList(V1), V2)
a__U52(tt, V2) → a__U53(a__isList(V2))
a__U53(tt) → tt
a__U61(tt, V) → a__U62(a__isQid(V))
a__U62(tt) → tt
a__U71(tt, V) → a__U72(a__isNePal(V))
a__U72(tt) → tt
a__and(tt, X) → mark(X)
a__isList(V) → a__U11(a__isPalListKind(V), V)
a__isList(nil) → tt
a__isList(__(V1, V2)) → a__U21(a__and(a__isPalListKind(V1), isPalListKind(V2)), V1, V2)
a__isNeList(V) → a__U31(a__isPalListKind(V), V)
a__isNeList(__(V1, V2)) → a__U41(a__and(a__isPalListKind(V1), isPalListKind(V2)), V1, V2)
a__isNeList(__(V1, V2)) → a__U51(a__and(a__isPalListKind(V1), isPalListKind(V2)), V1, V2)
a__isNePal(V) → a__U61(a__isPalListKind(V), V)
a__isNePal(__(I, __(P, I))) → a__and(a__and(a__isQid(I), isPalListKind(I)), and(isPal(P), isPalListKind(P)))
a__isPal(V) → a__U71(a__isPalListKind(V), V)
a__isPal(nil) → tt
a__isPalListKind(a) → tt
a__isPalListKind(e) → tt
a__isPalListKind(i) → tt
a__isPalListKind(nil) → tt
a__isPalListKind(o) → tt
a__isPalListKind(u) → tt
a__isPalListKind(__(V1, V2)) → a__and(a__isPalListKind(V1), isPalListKind(V2))
a__isQid(a) → tt
a__isQid(e) → tt
a__isQid(i) → tt
a__isQid(o) → tt
a__isQid(u) → tt
mark(__(X1, X2)) → a____(mark(X1), mark(X2))
mark(U11(X1, X2)) → a__U11(mark(X1), X2)
mark(U12(X)) → a__U12(mark(X))
mark(isNeList(X)) → a__isNeList(X)
mark(U21(X1, X2, X3)) → a__U21(mark(X1), X2, X3)
mark(U22(X1, X2)) → a__U22(mark(X1), X2)
mark(isList(X)) → a__isList(X)
mark(U23(X)) → a__U23(mark(X))
mark(U31(X1, X2)) → a__U31(mark(X1), X2)
mark(U32(X)) → a__U32(mark(X))
mark(isQid(X)) → a__isQid(X)
mark(U41(X1, X2, X3)) → a__U41(mark(X1), X2, X3)
mark(U42(X1, X2)) → a__U42(mark(X1), X2)
mark(U43(X)) → a__U43(mark(X))
mark(U51(X1, X2, X3)) → a__U51(mark(X1), X2, X3)
mark(U52(X1, X2)) → a__U52(mark(X1), X2)
mark(U53(X)) → a__U53(mark(X))
mark(U61(X1, X2)) → a__U61(mark(X1), X2)
mark(U62(X)) → a__U62(mark(X))
mark(U71(X1, X2)) → a__U71(mark(X1), X2)
mark(U72(X)) → a__U72(mark(X))
mark(isNePal(X)) → a__isNePal(X)
mark(and(X1, X2)) → a__and(mark(X1), X2)
mark(isPalListKind(X)) → a__isPalListKind(X)
mark(isPal(X)) → a__isPal(X)
mark(nil) → nil
mark(tt) → tt
mark(a) → a
mark(e) → e
mark(i) → i
mark(o) → o
mark(u) → u
a____(X1, X2) → __(X1, X2)
a__U11(X1, X2) → U11(X1, X2)
a__U12(X) → U12(X)
a__isNeList(X) → isNeList(X)
a__U21(X1, X2, X3) → U21(X1, X2, X3)
a__U22(X1, X2) → U22(X1, X2)
a__isList(X) → isList(X)
a__U23(X) → U23(X)
a__U31(X1, X2) → U31(X1, X2)
a__U32(X) → U32(X)
a__isQid(X) → isQid(X)
a__U41(X1, X2, X3) → U41(X1, X2, X3)
a__U42(X1, X2) → U42(X1, X2)
a__U43(X) → U43(X)
a__U51(X1, X2, X3) → U51(X1, X2, X3)
a__U52(X1, X2) → U52(X1, X2)
a__U53(X) → U53(X)
a__U61(X1, X2) → U61(X1, X2)
a__U62(X) → U62(X)
a__U71(X1, X2) → U71(X1, X2)
a__U72(X) → U72(X)
a__isNePal(X) → isNePal(X)
a__and(X1, X2) → and(X1, X2)
a__isPalListKind(X) → isPalListKind(X)
a__isPal(X) → isPal(X)

Types:
a____ :: __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal → __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal → __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal
__ :: __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal → __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal → __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal
mark :: __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal → __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal
nil :: __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal
a__U11 :: __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal → __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal → __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal
tt :: __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal
a__U12 :: __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal → __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal
a__isNeList :: __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal → __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal
a__U21 :: __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal → __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal → __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal → __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal
a__U22 :: __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal → __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal → __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal
a__isList :: __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal → __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal
a__U23 :: __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal → __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal
a__U31 :: __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal → __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal → __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal
a__U32 :: __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal → __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal
a__isQid :: __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal → __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal
a__U41 :: __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal → __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal → __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal → __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal
a__U42 :: __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal → __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal → __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal
a__U43 :: __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal → __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal
a__U51 :: __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal → __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal → __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal → __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal
a__U52 :: __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal → __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal → __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal
a__U53 :: __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal → __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal
a__U61 :: __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal → __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal → __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal
a__U62 :: __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal → __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal
a__U71 :: __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal → __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal → __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal
a__U72 :: __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal → __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal
a__isNePal :: __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal → __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal
a__and :: __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal → __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal → __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal
a__isPalListKind :: __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal → __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal
isPalListKind :: __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal → __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal
and :: __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal → __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal → __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal
isPal :: __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal → __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal
a__isPal :: __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal → __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal
a :: __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal
e :: __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal
i :: __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal
o :: __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal
u :: __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal
U11 :: __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal → __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal → __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal
U12 :: __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal → __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal
isNeList :: __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal → __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal
U21 :: __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal → __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal → __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal → __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal
U22 :: __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal → __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal → __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal
isList :: __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal → __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal
U23 :: __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal → __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal
U31 :: __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal → __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal → __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal
U32 :: __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal → __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal
isQid :: __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal → __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal
U41 :: __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal → __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal → __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal → __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal
U42 :: __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal → __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal → __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal
U43 :: __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal → __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal
U51 :: __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal → __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal → __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal → __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal
U52 :: __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal → __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal → __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal
U53 :: __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal → __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal
U61 :: __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal → __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal → __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal
U62 :: __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal → __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal
U71 :: __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal → __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal → __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal
U72 :: __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal → __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal
isNePal :: __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal → __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal
hole___:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal1_0 :: __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal
gen___:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal2_0 :: Nat → __:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal
Generator Equations:
gen___:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal2_0(0) ⇔ nil
gen___:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal2_0(+(x, 1)) ⇔ __(gen___:nil:tt:isPalListKind:isPal:and:a:e:i:o:u:U11:U12:isNeList:U21:U22:isList:U23:U31:U32:isQid:U41:U42:U43:U51:U52:U53:U61:U62:U71:U72:isNePal2_0(x), nil)
The following defined symbols remain to be analysed:
mark, a____, a__U11, a__isNeList, a__U21, a__U22, a__isList, a__U41, a__U42, a__U51, a__U52, a__U71, a__isNePal, a__and, a__isPalListKind, a__isPal
They will be analysed ascendingly in the following order:
a____ = mark
a____ = a__U11
a____ = a__isNeList
a____ = a__U21
a____ = a__U22
a____ = a__isList
a____ = a__U41
a____ = a__U42
a____ = a__U51
a____ = a__U52
a____ = a__U71
a____ = a__isNePal
a____ = a__and
a____ = a__isPalListKind
a____ = a__isPal
mark = a__U11
mark = a__isNeList
mark = a__U21
mark = a__U22
mark = a__isList
mark = a__U41
mark = a__U42
mark = a__U51
mark = a__U52
mark = a__U71
mark = a__isNePal
mark = a__and
mark = a__isPalListKind
mark = a__isPal
a__U11 = a__isNeList
a__U11 = a__U21
a__U11 = a__U22
a__U11 = a__isList
a__U11 = a__U41
a__U11 = a__U42
a__U11 = a__U51
a__U11 = a__U52
a__U11 = a__U71
a__U11 = a__isNePal
a__U11 = a__and
a__U11 = a__isPalListKind
a__U11 = a__isPal
a__isNeList = a__U21
a__isNeList = a__U22
a__isNeList = a__isList
a__isNeList = a__U41
a__isNeList = a__U42
a__isNeList = a__U51
a__isNeList = a__U52
a__isNeList = a__U71
a__isNeList = a__isNePal
a__isNeList = a__and
a__isNeList = a__isPalListKind
a__isNeList = a__isPal
a__U21 = a__U22
a__U21 = a__isList
a__U21 = a__U41
a__U21 = a__U42
a__U21 = a__U51
a__U21 = a__U52
a__U21 = a__U71
a__U21 = a__isNePal
a__U21 = a__and
a__U21 = a__isPalListKind
a__U21 = a__isPal
a__U22 = a__isList
a__U22 = a__U41
a__U22 = a__U42
a__U22 = a__U51
a__U22 = a__U52
a__U22 = a__U71
a__U22 = a__isNePal
a__U22 = a__and
a__U22 = a__isPalListKind
a__U22 = a__isPal
a__isList = a__U41
a__isList = a__U42
a__isList = a__U51
a__isList = a__U52
a__isList = a__U71
a__isList = a__isNePal
a__isList = a__and
a__isList = a__isPalListKind
a__isList = a__isPal
a__U41 = a__U42
a__U41 = a__U51
a__U41 = a__U52
a__U41 = a__U71
a__U41 = a__isNePal
a__U41 = a__and
a__U41 = a__isPalListKind
a__U41 = a__isPal
a__U42 = a__U51
a__U42 = a__U52
a__U42 = a__U71
a__U42 = a__isNePal
a__U42 = a__and
a__U42 = a__isPalListKind
a__U42 = a__isPal
a__U51 = a__U52
a__U51 = a__U71
a__U51 = a__isNePal
a__U51 = a__and
a__U51 = a__isPalListKind
a__U51 = a__isPal
a__U52 = a__U71
a__U52 = a__isNePal
a__U52 = a__and
a__U52 = a__isPalListKind
a__U52 = a__isPal
a__U71 = a__isNePal
a__U71 = a__and
a__U71 = a__isPalListKind
a__U71 = a__isPal
a__isNePal = a__and
a__isNePal = a__isPalListKind
a__isNePal = a__isPal
a__and = a__isPalListKind
a__and = a__isPal
a__isPalListKind = a__isPal